semimodular lattice

半模络